Component-Based Hierarchical Modeling of Systems with Continuous and Discrete Dynamics
نویسندگان
چکیده
This paper presents a component-based modeling technique for systems with continuous and discrete dynamics. It uses hierarchical composition to hide the implementation details of one component from other components, and keeps the components at the same level of hierarchy interacting under a well-defined model of computation. Continuous time, discrete event, and finite state machine models are considered. The signal conversions at the boundaries and the execution control among the components are studied. The modeling technique is implemented in Ptolemy II, a heterogeneous modeling and design environment. A hierarchical helicopter control system is modeled as an example.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملEigenvalue Assignment Of Discrete-Time Linear Systems With State And Input Time-Delays
Time-delays are important components of many dynamical systems that describe coupling or interconnection between dynamics, propagation or transport phenomena, and heredity and competition in population dynamics. The stabilization with time delay in observation or control represents difficult mathematical challenges in the control of distributed parameter systems. It is well-known that the stabi...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملTime-Varying Modeling of Systematic Risk: using High-Frequency Characterization of Tehran Stock Exchange
We decompose time-varying beta for stock into beta for continuous systematic risk and beta for discontinuous systematic risk. Brownian motion is assumed as nature of price movements in our modeling. Our empirical research is based on high-frequency data for stocks from Tehran Stock Exchange. Our market portfolio experiences 136 days out of 243 trading days with jumps which is a considerable rat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999